ICTPRG546
Validate application designs against specifications